es-real-and{i:l}(P;Q;X;Y;p)
== <1of(X)  1of(Y),TERMOF{R-and-rule:ObjectId, 1:l, i:l}(1of(X),1of(Y),P,Q,2of(X),2of(Y),p)> 

latex

---

clarification:

es-real-and{i:l}
es-real-and(P; Q; X; Y; p)
== <1of(X)  1of(Y),TERMOF{R-and-rule:ObjectId, 1:l, i:l}(1of(X),1of(Y),P,Q,2of(X),2of(Y),p)> 

latex

Definitions	<a,b>, left  right, f(a), R-and-rule, 1of(t), 2of(t)
FDL editor aliases	es-real-and